Monolithic kernels - PDFSEARCH.IO - Document Search Engine

Monolithic kernels
Results: 158

#	Item
121	Barrelfish Project ETH Zurich Barrelfish on the Intel Single-chip Cloud Computer Barrelfish Technical Note 005 Add to Reading List Source URL: www.barrelfish.org Language: English - Date: 2013-12-13 09:57:02 Cloud computing Single-chip Cloud Computer Computer memory Monolithic kernels Virtual memory CPU cache Operating system Paging Kernel Computer architecture Computing Software
122	Barrelfish Project ETH Zurich Barrelfish Architecture Overview Barrelfish Technical Note 000 Add to Reading List Source URL: www.barrelfish.org Language: English - Date: 2013-12-13 09:57:01 Monolithic kernels Barrelfish Microsoft Research Kernel Operating system Thread Scheduling L4 microkernel family Ring Computer architecture System software Software
123	Reprinted from the Proceedings of the Linux Symposium Volume Two Add to Reading List Source URL: ckrm.sourceforge.net Language: English - Date: 2004-11-19 11:25:33 Monolithic kernels Computing platforms Workload Manager Kernel Linux kernel Architecture of Windows NT Scheduling Operating system Loadable kernel module Computer architecture Computing Software
124	Improving Linux resource control using CKRM Rik Van Riel Red Hat Inc. Hubertus Franke, Shailabh Nagar Add to Reading List Source URL: ckrm.sourceforge.net Language: English - Date: 2004-11-19 11:15:52 Monolithic kernels Linux-VServer Kernel Operating system Linux kernel Linux Unix File system Server System software Software Computer architecture
125	On submitting kernel patches Andi Kleen Intel Open Source Technology Center [removed] Abstract Add to Reading List Source URL: halobates.de Language: English - Date: 2008-07-24 14:28:58 Cross-platform software Linux kernel Monolithic kernels Linux Distributed revision control systems Loadable kernel module Kernel Git Netlink Software Computing Computer architecture
126	Microsoft Word - wk 05 - Embedded Linux and Device Driver Progarmming training Workshop.doc Add to Reading List Source URL: www.levanatech.com Language: English - Date: 2012-12-26 01:38:57 Linux Unix Special purpose file systems Monolithic kernels Ioctl Kernel Procfs Device driver Loadable kernel module Computer architecture Computing Software
127	On submitting kernel patches Andi Kleen Intel Open Source Technology Center [removed] Abstract Add to Reading List Source URL: www.halobates.de Language: English - Date: 2008-07-24 14:28:58 Cross-platform software Linux kernel Monolithic kernels Linux Distributed revision control systems Loadable kernel module Kernel Git Netlink Software Computing Computer architecture
128	Master’s Thesis Formal Verification of Linux Device Drivers Thomas Witkowski May 2007 Add to Reading List Source URL: www.cprover.org Language: English - Date: 2008-12-31 05:38:12 Formal methods Linux Device drivers Monolithic kernels Kernel Device driver Model checking Formal verification Device driver synthesis and verification Software Computing Computer architecture
129	Prex Embedded Real-time OS Prex is an open source, real-time operating system for embedded systems. Prex is designed specifically for tiny, resource-constrained platforms. It is written in 100% ANSI C and its microkerne Add to Reading List Source URL: prex.sourceforge.net Language: English - Date: 2009-10-05 20:36:00 Embedded operating systems Real-time operating systems Unix Prex Concurrent computing Monolithic kernels Kernel POSIX Thread Computer architecture System software Computing
130	Microkernels Meet Recursive Virtual Machines Bryan Ford Mike Hibler Jay Lepreau Patrick Tullmann Godmar Back Stephen Clawson Department of Computer Science, University of Utah Salt Lake City, UT[removed]removed] Add to Reading List Source URL: www.brynosaurus.com Language: English - Date: 2010-09-29 09:18:52 Monolithic kernels Virtual machines Kernel Microkernel L4 microkernel family Architecture of Windows NT Hypervisor Operating system Thread System software Computer architecture Software